BRIoT: Behavior Rule Specification-Based Misbehavior Detection for IoT-Embedded Cyber-Physical Systems

Cyber-Physical Microservices: An IoT-based Framework for Manufacturing Systems

Recent advances in ICT enable the evolution of the manufacturing industry to meet the new requirements of the society. Cyber-physical systems, Internet-of-Things (IoT), and Cloud computing, play a key role in the fourth industrial revolution known as Industry 4.0. The microservice architecture has evolved as an alternative to SOA and promises to address many of the challenges in software develo...

Survey on Secure Medical Cyber Physical System Based on Behavior Rule Specification

Behavior-rule specification-based technique is analyzed for intrusion detection of medical devices embedded in a medical cyber physical system (MCPS) where patient’s safety is of the utmost importance. Medical cyber physical system(MCPS) are used as tool for cyber attacks.This can relatively harm the patient or may even cause a direct or indirect threat to life. Intrusion detection technique he...

Formal Specification for Transportation Cyber Physical Systems

Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...

Cyber Physical Security for Industrial Control Systems and IoT

Cyber-attacks and cybersecurity used to be the issues for those who use Internet and computers. The issues, however, are expanding to anyone who does not even use them directly. The society is gradually and heavily depending on networks and computers. They are not closed within a cyberspace anymore and having interaction with our real world with sensors and actuators. Such systems are known as ...

Advanced Technologies for Mobile IoT and Cyber-Physical Systems